Testing a new idea to solve the P = NP problem with mathematical induction

نویسنده

  • Yubin Huang
چکیده

Background. P and NP are two classes (sets) of languages in Computer Science. An open problem is whether NP P  . This paper tests a new idea to compare the two language sets and attempts to prove that these two language sets consist of same languages by elementary mathematical methods and basic knowledge of Turing machine. Methods. By introducing a filter function   w M C , that is the number of configurations which have more than one children (nondeterministic moves) in the shortest accept computation path of a nondeterministic Turing machine M for input w , for any language   NP M L  , we can define a series of its subsets, } ) , ( ) ( | { ) ( i w M C M L w w M Li     , and a series of the subsets of NP as } ) ( | ) ( { NP M L M M L L i i     . The nondeterministic multi-tape Turing machine is used to bridge two language sets i L and 1  i L , by simulating the   1  i -th nondeterministic move deterministically in multiple work tapes, to reduce one (the last) nondeterministic move. Results. The main result is that, with the above methods, the language set 1  i L , which seems more powerful, can be proved to be a subset of i L . This result collapses P Li  for all N  i . With  N   i i L NP , it is clear that P NP . Because by definition NP P  , we have NP P  . Discussion. There can be other ways to define the subsets i L and prove the same result. The result can be extended to cover any sets of time functions C , if C f C f f      2 , then     C NTIME C DTIME  . This paper does not show any ways to find a solution in P for the problem known in NP .

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mathematical model for P-hub location problem under simultaneous disruption

The optimal locating of facilities has large effects on economic benefits, providing satisfactory service and levels of customer satisfaction. One of the new topics discussed in location problems is hub location and hub facilities are subject to unpredictable disruptions. This paper proposes a nonlinear integer model for reliable single allocation hub location problem that considers backup hub,...

متن کامل

A New Method based on Intelligent Water Drops for Multicast Routing in Wireless Mesh Networks

In recent years a new type of wireless networks named wireless mesh networks has drawn the attention of researchers. In order to increase the capacity of mesh network, nodes are equipped with multiple radios tuned on multiple channels emerging multi radio multi channel wireless mesh networks. Therefore, the main challenge of these networks is how to properly assign the channels to the radios. O...

متن کامل

Parallelizing Assignment Problem with DNA Strands

Background:Many problems of combinatorial optimization, which are solvable only in exponential time, are known to be Non-Deterministic Polynomial hard (NP-hard). With the advent of parallel machines, new opportunities have been emerged to develop the effective solutions for NP-hard problems. However, solving these problems in polynomial time needs massive parallel machines and ...

متن کامل

Mathematical Formulation and Solving of Green Closed-loop Supply Chain Planning Problem with Production, Distribution and Transportation Reliability

In this paper, developed a new multi-product, multi-period, and multi-level closed-loop green supply chain planning model under uncertain conditions. The formulated model consists of five objective functions, which minimize the cost of the supply chain, minimize the CO2 emission of transportation vehicles, maximize the reliability of manufacturing and distribution centers, maximize t...

متن کامل

Linear Sphericity Testing of 3-Connected Single Source Digraphs

It has been proved that sphericity testing for digraphs is an NP-complete problem. Here, we investigate sphericity of 3-connected single source digraphs. We provide a new combinatorial characterization of sphericity and give a linear time algorithm for sphericity testing. Our algorithm tests whether a 3-connected single source digraph with $n$ vertices is spherical in $O(n)$ time.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • PeerJ PrePrints

دوره 3  شماره 

صفحات  -

تاریخ انتشار 2015